МІНІСТЕРСТВО ОСВІТИ ТА НАУКИ УКРАЇНИ НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ “ЛЬВІВСЬКА ПОЛІТЕХНІКА” Кафедра АСУ Звіт з лабораторної роботи №2 з дисципліни “ Теорія алгоритмів і математичні основи представлення знань ” на тему: Емуляція на ПЕОМ багаторегiстрових машин IНТЕРПРЕТАТОР ОПЕРАТОРНИХ I ПРЕДИКАТНИХ АЛГОРИТМIВ Мета лабораторної роботи - автоматизувати процес доведення рекурсивності (алгоритмiчностi)певних функцій f : N^K -> N i g : E*^k -> E* шляхом емуляції на ПЕОМ N-БРМ i E*-БРМ , що дасть змогу беспосередньо перевiрити правiльнiсть побудови N-БРМ Мf i E*-БРМ М*g, для бiльш глибокого засвоїння прямих методів доведення рекурсивностi функцiй (предикатiв). I. ЗАГАЛЬНІ ПОЛОЖЕННЯ Мінімальні вимоги: Комп'ютер . . . . . . . IBM PC або сумісний на рівні BIOS Операційна система. . . MS-DOS версі∙ 3.0 або новіше Вільна пам'ять. . . . . до 50 Кбайт Внутрішні характеристики: - всі дискові операці∙ и операці∙ управління пам'яттю виконані на рівні DOS через int 21h - операці∙ опиту клавіатури виконані на рівні BIOS через int 16h - вивід одразу у відео ОЗП та через int 10h Текст програми: - для компілятору Turbo Pascal 7.0 Запуск: OPERALG ім'я_файлу [/d] [/i] Тут ім'я_файлу - це повне ім'я з розширенням файлу з програмою, але якщо воно задаїться без розширення і крапки, то інтерпретуїться як ім'я з розширенням .opr по замовченню. Ключ /d вказуїться тоді, коли потрібно відлагоджувати програму, бо в цьому випадку програма починаї виконуватися по-кроково, виводячи кожен раз обмежену екраном сторінку тексту програми і біжучі значення змінних алгоритму користквача. Недокументований ключ /i дозволяї почати відлагодження або робо- ту без отримання початково∙ заставки і повідомлення про опрацьовані рядки. Опис програми: Програма призначена для інтерпретаці∙ програм (операторних і предикатних алгоритмів, далі ОПА), створених для абстрактних багато- регістрових машин (БРМ). Програма як і машина отримуї дані (числа), аргументи функці∙ ОПА, і починаї виконувати спеціальним чином складе- ний алгоритм по перетворенню цих чисел. У в а г а ! В інтерпретаторі наявні деякі розширені можливості, які іноді не відповідають канонічним принципам конструювання ОПА. ОПА може використовувати 30 цілочисельних змінних значеннями від -32768 до 32767, а саме: x0...x9, y0...y9, z0...z9, а також константи тих самих значень. Всі змінні ї глобальними. Числа, що вводяться, одразу копіюються в змінні x0...x9. Числа, що повинні вивестися, перед цим засобами ОПА мають бути записані в змінні y0...y9. ОПА читаїться з наперед створеного у будь-якому редакторі ASCII-файлу, як правило, з розширенням .opr, наприклад такого виду: 2 | 2 ; Ввід: x0,x1. Вивід: y0,y1. // Додавання і перевірка підпрограм: y0=x0+x1, y1=2*x1-1. y0=x0 ;(q23)-дана мітка ї закоментована і не інтерпретуїться y1=-1 q1 P0(x1) (R) y0=y0+1 CALL (q3) // Виклик п/п з поверненням на наступний рядок x1=x1-1 (q1) ; Підпрограма q3 y1=y1+2 RET Регістр літер та пробіли в довільному місці рядка ОПА не мають ніякого значення (крім першого рядка файла). В цьому файлі обов'язково в першому рядку вказуються параметри ОПА у вигляді n | m де n-кількість аргументів (вхідних змінних); m-кільксість значень (вихідних змінних). Тоді вхід ОПА: x0...x[n-1], вихід: y0...y[m-1]. Далі в кожному рядку вказуються інструкці∙ ОПА, коментарі (що починиються з символів ';' або '//') або рядок не містить ні одного символа (для читабельності програми). Кожна інструкція ОПА повинна розміщуватися в одному рядку і мати наступний формат: [qНОМЕР1] оператор [({qНОМЕР2|T|F|R|Я}[,{qНОМЕР3|T|F|R|Я}])] Після не∙ може бути необов'язковий коментар: [{;|//} коментар]. Тут і далі діють наступні позначення: [a] - елемент a необов'язков...